Preservation of stochastic orders for random minima and maxima,with applications

It is shown, in this note, that the right spread order and the increasing convex order are both preserved under the taking of random maxima, and the total time on test transform order and the increasing concave order are preserved under the taking of random minima. Some inequalities and preservation properties in reliability and economics are given as applications. © 2003 Wiley Periodicals, Inc. Naval Research Logistics, 2004.     

潜艇定深运动的自适应模糊控制研究

针对潜艇定深运动过程中存在非线性、时变参数、复杂干扰的特点,提出了一种基于神经网络的自适应模糊控制器,并采用学习速率自调整的EBP算法对模糊控制器进行了在线调整.仿真结果表明,该控制器能辨别出潜艇的平衡舵角,与常规的PID控制相比,具有抗干扰能力强、响应速度快、精度高等优点.     

基于DTRC的形式自动证明平台及其应用

动态项重写计算(DTRC)是项重写系统(TRS)的元计算模型,具有层次化结构和动态重写等特征,可应用于归纳定理的形式自动证明以及项重写系统弱终止性的形式自动证明等方面.文中介绍了一个基于DTRC的形式自动证明平台及其在TRS弱终止性自动证明上的应用.     

基于MAS的武器装备供应管理支持系统设计

对武器装备供应管理系统结构和功能进行了分析,给出系统的一般构成模式和运行要求,阐明了其所需的决策支持;以系统一般模式为背景,探讨了利用多Agent系统理论构建装备供应管理支持系统的思路,提出支持系统的组成框架,并说明了其主要特点;最后,对支持系统的信息监控过程做了具体研究,给出了相应程序。     

高比重钨合金的烧结成形与组织性能研究

采用液相烧结成形工艺制备了90W-Ni-Fe合金棒,通过分析烧结态钨合金的组织形貌和力学性能,观察合金的断口组织形貌,研究了烧结工艺对高比重钨合金组织性能的影响,认为减少W-W界面,增加W-W界面的结合强度,是提高烧结态钨合金力学性能的有效途径。     

数组越界软件测试系统的设计与实现

软件测试系统的研制是现阶段软件测试领域研究的一个热点.首先针对C/C 语言常见数组越界错误类型进行了分析,介绍了软件测试的一些基本概念,而后给出了软件测试系统设计,对系统设计的各个阶段进行了说明,并且给出了一种错误类型检查的算法设计,它在软件测试检测中具有通用性和代表性,最后给出了软件测试的实验结果.     

维恩位移定律2种表述之间的关系

讨论了维恩位移定律2种表述之间的关系,并与麦克斯韦分子分布函数的峰值相关量进行对比,说明原始的维恩表述是由实验决定的.并对2种表述的物理意义作了阐述.     

钎杆内孔的液压低频振动扩孔工艺实验

为完全去除中空钢钎杆内孔表面的氧化层和裂纹层的影响,采用深孔扩孔的方式加工钎杆内孔。针对深孔扩孔过程中存在的切屑排出困难、切削温度高、内孔表面加工质量差等问题,利用液压低频振动辅助枪钻对中空钢钎杆进行深孔扩孔,研究振动参数及加工参数对切屑形态、内孔表面质量、切削热的影响。实验结果表明:在转速为500 r/min、进给量为0.1 mm/r条件下,相对于普通扩孔,液压低频振动扩孔可减小切屑尺寸,减少切屑表面锯齿边缘现象,优化内孔加工表面,减少刀痕和划痕,降低加工温度。且当频率为36.7 Hz、振幅为0.58 mm时,切屑尺寸最小,内孔表面划痕最少,加工温度最低;随着进给量在0.80～0.12 mm/r范围内增大,切屑长度变大,内孔表面的刀痕和划痕增多;转速对切屑长度及内孔表面形貌影响较小。     

Vondrak-Cepek组合滤波在北斗共视和卫星双向时间比对融合中的应用

为减小卫星双向时间比对(Two-Way Satellite Time and Frequency Transfer, TWSTFT)中的周日效应,利用北斗共视链路没有周日效应的特点,通过Vondrak-Cepek组合滤波方法对中国科学院国家授时中心(National Time Service Center, NTSC)、德国物理技术研究院(Physikalisch-Technische Bundesanstalt, PTB)以及中国计量科学研究院(National Institute of Metrology, NIM)间的北斗共视时间比对结果分别与硬件卫星时间和距离测量设备(SAtellite Time and Ranging Equipment, SATRE) TWSTFT和软件接收机(Software-Defined Radio, SDR)TWSTFT结果进行了融合处理。采用时间偏差和幅值频谱两个指标以及GPS精密单点定位(Precise Point Positioning, PPP)时间比对分别对融合结果进行内外符合评估。结果表明,经过Vondrak-Cepek滤波的融合结果中周日效应基本消失,其与GPS PPP链路差值结果的绝对值保持在链路校准的不确定度范围内。对于长基线NTSC-PTB链路,融合结果1 d的时间偏差稳定度对SATRE和SDR TWSTFT的增益因子分别为1.85和1.81;对于短基线NTSC-NIM链路,融合结果对SATRE和SDR TWSTFT的增益因子分别为1.69和1.59。融合结果的短期稳定度显著提高。     

耐1200℃陶瓷瓦重复使用性能

针对目前比较成熟的耐1 200℃陶瓷瓦开展了1 200℃多次重复热处理,研究了陶瓷瓦的结构和性能演变行为和重复使用性能。结果表明:1 200℃热处理20次后,耐1 200℃陶瓷瓦表现出良好的宏观热稳定性;重复热处理过程中,纤维间烧结,黏接熔融和石英纤维析晶及晶粒长大,使纤维直径发生变化,出现缩颈,进而导致了Z向收缩,收缩率达14%,从而使得压缩强度略有增大,隔热性能降低;经过1 260℃、11次单面辐射加热后,Z向收缩率为5.58%,隔热效果降低了7.59%,但隔热材料能够在6次重复加热后保持材料隔热性能不降低。